Logic for Computable Functions - significado y definición. Qué es Logic for Computable Functions
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es Logic for Computable Functions - definición


Logic for Computable Functions         
Logic for Computable Functions (), (LCF) — инструмент для интерактивного автоматического доказательства теорем, разработанный Робином Милнером и его сотрудниками в Стэнфорде и Эдинбурге в начале 1970-х годов на базе одноимённой дедуктивной системы, предложенной Даной Скоттом. В ходе работы над системой LCF был разработан универсальный язык программирования ML. Его применение в системе позволило пользователям писать тактики доказательства теорем, поддерживающие алгебраические типы данных, параметрический полиморфизм, абстрактные типы данных и исключения.
CAMEL         
CAMEL, или полностью Customised Applications for Mobile networks Enhanced Logic (ETSI TS 123 078) — набор стандартов, реализующих интеллектуальные услуги в GSM и UMTS сетях. Основное отличие от INAP, который по сути предназначен для тех же целей — это независимость от производителя оборудования и, как следствие, возможность использования услуг при нахождении в гостевой сети (т.
IBM Solid Logic Technology         
  • Эрих Блох, инженер IBM
Solid Logic Technology (SLT) — гибридная технология компоновки микроэлектронных схем в микромодуль на основе изолированных планарных транзисторов и диодов в стеклянном корпусе, а также резисторов, которые формировались методом шелкографии на керамической подложке. IBM представила её в 1964 году в новом мейнфрейме IBM System/360.
¿Qué es Logic for Computable Functions? - significado y definición